61. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
Classification :
QA76
.
642
.
B484
2006
62. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
Classification :
QA76
.
642
.
B484
2006
63. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
Author: Bhattacharya, Alakananda
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
Classification :
QA
76
.
642
.
B484
64. Parallel logic programming
Author: / Akikazu Takeuchi
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel programming (Computer science),Logic programming
Classification :
QA76
.
642
.
T35
1992
65. Parallel logic programming
Author: / Akikazu Takeuchi
Library: Library of College of Science University of Tehran (Tehran)
Subject: Parallel programming (Computer science),Logic programming
Classification :
QA
76
.
642
.
T35
1992
66. Parallel logic programming in PARLOG : the language and its implementation
Author: Gregory, Steve.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194G74
1987
67. Parallel logic programming in parlog : the language & its implementation
Author: Gregory, Steve
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PARLOG )Computer program language( , Logic programming , Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194
G74
68. Principles and Practice of Constraint Programming
Author: \ Gilles Pesant (ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
Classification :
QA
76
.
612
.
C7P7
2015
E-Book
,
69. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
Classification :
QA
75
.
5
.
S9574a
70. Programming in PARLOG
Author: Conlon, Tom, 4591-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194C66
1989
71. Programming language implementation and logic programming
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Parallel programming (Computer science) ► Logic design
Classification :
004
P964
72. Programming with constraints: an introduction
Author: Marriott, Kim
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Constraint programming )Computer science(
Classification :
QA
76
.
63
.
M37
1998
73. Prolog++ : the power of object-oriented and logic programming
Author: Moss, Christopher D. S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P2
.
M69
1994
74. Recent advances in constraints
Author: / Boi Faltings ... [et al.] (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic programming, -- Congresses,a05,Constraint programming (Computer science)--Congresses.
Classification :
QA76
.
612
.
J65
2004
75. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
Author: Krzysztof R. Apt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3010
76. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Author: Boi Faltings... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3419
77. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Author: Barry O'Sullivan )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2627
78. The little typer /
Author: Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
Classification :
QA76
.
63
.
F75
2018
79. The transparent paolog machine
Author: / Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine,Eisenstadt
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Prolog ( Computer Program language),Logic programming ( Computer Science),Transparent prolog machine
Classification :
QA
76
.
73
.
P76E48
1991
80. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
